Specifying Use Case Interaction: Types of Alternative Courses.

Specifying Use Case Interaction: Types of Alternative Courses

Use cases are a powerful and widely recognised tool for the elicitation and specification of functional software requirements. However, major problems and gaps still exist; practitioners frequently encounter these. One of these is the specification of alternative use case interaction courses. Experience shows that practitioners do not only need to specify alternative interaction courses that ar...

Specifying use case behavior with interaction models

Functional requirements for information systems can be modeled through use cases. Furthermore, use case models have been successfully used in broader contexts than software engineering, as systems engineering. Even if small systems may be modeled as a set of use cases, when large systems requirements are modeled with a plain use case model several difficulties arise. Traditionally, the behavior...

Specifying Use Case Interaction: Clarifying Extension Points and Rejoin Points

This article is the second work in a series of papers on advancing specification and modelling techniques for goal-based use cases. In this article we highlight major and remaining problems associated with the true semantics of extension points and rejoin points, which are used as branching and return locations for a use case’s alternative interaction courses, and also for the application of UM...

Specifying Precise Use Cases with Use Case Charts

Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and learning but is a barrier to automated methods for test case generation, validation or simulation. This paper presents use case charts, a precise way of specifying use cases that aims to retain the benefits of easy under...

Specifying Interactions With Dependent Types